2881. Symbolic rewriting technique
پدیدآورنده : / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
2882. System analysis and modeling:
پدیدآورنده : Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
2883. System and architecture :
پدیدآورنده : Sunil Kumar Muttoo, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
2884. System simulation and scientific computing
پدیدآورنده : Tianyuan Xiao, Lin Zhang, Shiwei Ma (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Computer simulation, Congresses,Science-- Computer simulation, Congresses,Simulation methods, Congresses
رده :
T57
.
62
.
I58
2012eb
2885. Systems and Computer Technology
پدیدآورنده : \ Edited by Yunfei Chen...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Information technology -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,تکنولوژی اطلاعات -- کنگره‌ها
رده :
QA
75
.
5
.
S9
2015
E-Book
,
2886. Systems and computer science
پدیدآورنده : Conference on Systems and Computer Science, 5691, University of Western Ontario
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Congresses
رده :
QA
267
.
C6
1965
2887. TEX for scientific documentation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : TeX (Computer system) ; Congresses ; Computerized typesetting ; Congresses ; Science ; Documentation ; Data processing ; Congresses ;
2888. TEX for scientific documentation
پدیدآورنده : / edited by Jacques D?�sarm?�nien
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : TeX (Computer file)--Congresses,Computerized typesetting--Congresses,Science--Documentation--Data processing--Congresses
رده :
Z
,
253
.
4
,.
T47
,
T49
,
1986
2889. TEX for scientific documentation : second European conference, Strasbourg, France, June 19-21, 1986 : proceedings
پدیدآورنده : edited by Jacques Desarmenien
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computerized typesetting,Documentation - Data processing - Congresses ، Science,Congresses ، Tex )Computer system(
رده :
QA
76
.
L4
v
.
236
2890. TEX for scientific documentation : second European conference, Strasbourg, France, June 19-21, 1986 : proceedings
پدیدآورنده : edited by Jacques Desarmenien
کتابخانه: (طهران)
موضوع : Congresses ، Computerized typesetting,Documentation -- Data processing -- Congresses ، Science,Congresses ، TeX )Computer file(
رده :
Z
253
.
4
.
T47
T49
1986
2891. Talking machines
پدیدآورنده : / edited by G. Bailly, C. Benoit, assisted by T.R. Sawallis
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Speech synthesis - Congresses,Speech processing systems - Congresses,Text processing (Computer science) - Congresses
رده :
TK
7882
.
S65E83
1990
2892. Talking machines
پدیدآورنده : / edited by G. Bailly, C. Benoit, assisted by T.R. Sawallis
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Speech synthesis - Congresses,Speech processing systems - Congresses,Text processing (Computer science) - Congresses
رده :
TK
7882
.
S65E83
1990
2893. Teaching formal methods
پدیدآورنده : / C. Neville Dean, Raymond T. Boute (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science)- Study and teaching- Congresses,Computer software- Development- Study and teaching- Congresses
رده :
QA76
.
9
.
F67
,
T46
2004
R
2894. Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
پدیدآورنده : C. Neville Dean, Raymond T. Boute )eds.(
کتابخانه: (طهران)
موضوع : Study and teaching -- Congresses ، Formal methods )Computer science(,Study and teaching -- Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3294
2895. Technologies and Innovation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
2896. Technologies and innovation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
2897. Technologies and innovation :
پدیدآورنده : Rafael Valencia-García, Gema Alcaraz-Mármol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Computer science, Congresses.,Natural language processing (Computer science), Congresses.,Technological innovations, Congresses.,Artificial intelligence.,Cloud computing.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Mobile & handheld device programming-- Apps programming.,Natural language processing (Computer science),Software Engineering.,Technological innovations.
رده :
QA75
.
5
2898. Technology and Practice of Passwords
پدیدآورنده : \ Stig F. Mjølsnes (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a02,a03,a02,a03,Computers -- Access control -- Passwords -- Congresses.,کامپیوترها -- کنترل دستیابی -- پسورد -- کنگره ها
رده :
QA
76
.
9
.
A25T4
2015
E-Book
,
2899. Technology of Object-Oriented Languages and Systems : ]electronic resource[ TOOLS 38: proceedings: Zurich, Switzerland, 12-14 March 2001
پدیدآورنده : TOOLS )Conference( )83th: 1002: Zurich, Switzerland(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Object-oriented programming )Computer science( -- Congresses,، Object-oriented programming )Computer science( -- Congresses -- Electronic resources
رده :
QA
76
.
64
.
T66
2900. Technology of object-oriented languages and systems: TOOLS
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
T66
